#!/bin/sh
echo "(print definition $2 .)q" | maude -no-banner -no-wrap $1 | grep -A 10000 "documentclass" | sed '$d' >$1.tex
echo "Q" | pdflatex -interaction=errorstopmode $1.tex |tail -5


